Polymorphism in object-oriented programming

Results: 75



#Item
31Programming language theory / Data types / Object-oriented programming / Program analysis / Type system / Subtype polymorphism / Program refinement / C / Dependent type / Type theory / Software engineering / Computing

UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY

Add to Reading List

Source URL: kennknowles.com

Language: English - Date: 2014-02-23 11:12:22
32Programming language theory / Data types / Object-oriented programming / Lambda calculus / Polymorphism / Type system / JavaScript / Subtype polymorphism / Type safety / Software engineering / Computing / Type theory

Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2

Add to Reading List

Source URL: users.soe.ucsc.edu

Language: English - Date: 2014-06-20 19:14:31
33Object-oriented programming / Software design patterns / Method / C++ / Data types / Virtual function / Polymorphism in object-oriented programming / Polymorphism / Method overriding / Software engineering / Computer programming / Computing

External Polymorphism An Object Structural Pattern for Transparently Extending C++ Concrete Data Types Chris Cleeland and Douglas C. Schmidt [removed] and [removed] Department of Computer Science, Was

Add to Reading List

Source URL: www.cs.wustl.edu

Language: English - Date: 1998-11-19 15:39:57
34Object-oriented programming / Computing / Programming language theory / Data types / Java programming language / Subtype polymorphism / Type system / Covariance and contravariance / Inheritance / Software engineering / Type theory / Polymorphism

Taming Wildcards in Java’s Type System ∗ Ross Tate Alan Leung Sorin Lerner

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2012-07-25 17:13:35
35Polymorphism / Object-oriented programming / Java programming language / Type theory / Data types / Generics in Java / Wildcard / Polymorphism in object-oriented programming / Subtype polymorphism / Software engineering / Computing / Computer programming

Generics in the Java Programming Language Gilad Bracha February 13, 2004 Contents 1 Introduction

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2006-01-19 03:15:47
36Polymorphism / Computer programming / Type theory / Generics in Java / Object-oriented programming / Wildcard / Java / Type safety / Dynamic array / Software engineering / Computing / Java programming language

Generics in Java – Part I Venkat Subramaniam [removed] http://www.agiledeveloper.com/download.aspx Abstract Java 5 (JDK 1.5) introduced the concept of Generics or parameterized types. In this

Add to Reading List

Source URL: agiledeveloper.com

Language: English - Date: 2010-08-05 09:38:44
37Object-oriented programming / Polymorphism in object-oriented programming / Inheritance / C++ / Objective-C / Conditional / Polymorphism / Factory method pattern / Control flow / Software engineering / Computing / Computer programming

Transform Conditionals to Polymorphism 1 Stéphane Ducasse(+), Oscar Nierstrasz(+), Serge Demeyer(*) (+) University of Berne - SCG - http://www.iam.unibe.ch/~scg/ (*) University

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2002-09-13 05:59:26
38Computer programming / Design Patterns / Inheritance / Anti-pattern / Code refactoring / Software design pattern / Polymorphism in object-oriented programming / Class / Polymorphism / Software engineering / Object-oriented programming / Computing

Type-Check Elimination: Two Reengineering Patterns St´ephane Ducasse, Robb Nebbe, Tamar Richner Software Composition Group, Universit¨at Bern fducasse,nebbe,[removed] http://www.iam.unibe.ch/scg/

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2000-11-30 05:15:40
39Polymorphism / Computer programming / Type theory / Generics in Java / Object-oriented programming / Wildcard / Java / Type safety / Dynamic array / Software engineering / Computing / Java programming language

Generics in Java – Part I Venkat Subramaniam [removed] http://www.agiledeveloper.com/download.aspx Abstract Java 5 (JDK 1.5) introduced the concept of Generics or parameterized types. In this

Add to Reading List

Source URL: www.agiledeveloper.com

Language: English - Date: 2010-08-05 09:38:44
40Object-oriented programming / Java / Method overriding / Multiple inheritance / Interface / Class / Subtype polymorphism / Protocol / Q / Software engineering / Computing / Computer programming

Featherweight Defenders: A formal model for virtual extension methods in Java Brian Goetz and Robert Field, Oracle Corporation∗ March 27, [removed]

Add to Reading List

Source URL: cr.openjdk.java.net

Language: English - Date: 2012-03-27 17:16:11
UPDATE